This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated (...) by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

A common reaction to Hegel’s suggestion that we collapse Kant’s distinction between form and content is that, since such a move would also deprive us of any way of distinguishing the merely logical from the real possibility of our concepts, it is incoherent and ought to be rejected. It is true that these two distinctions are intimately related in Kant, such that if one goes, the other does as well. But it is less obvious that giving them up as (...) Kant conceives them is as incoherent a proposal as many of Hegel’s critics think. It has been the point of a recent account of Hegel’s idealism to demonstrate that his critique of Kant’s dichotomy between form and content or concept and intuition does not commit him to the view that human cognition is materially creative of its content in the manner of a God-like or intuitive intellect—does not, in other words, signify a return to a pre-Critical metaphysics. This is the interpretative stance I adopt here as well, in hope of giving defenders of Kant reasons for taking Hegel more seriously. (shrink)

The passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for the studies (...) of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (shrink)

The thirteenth-century logician Lambert of Auxerre was well known for his Summa Lamberti, or simply Logica, written in the mid-1250s, which became an authoritative textbook on logic in the Western tradition. Our knowledge of medieval logic comes in great part from Lambert's Logica and three other texts: William of Sherwood's Introductiones in logicam, Peter of Spain's Tractatus, and Roger Bacon's Summulae dialectics. Of the four, Lambert's work is the best example of question-summas that proceed principally by asking and answering questions (...) on the subject matter. Thomas S. Maloney's translation of Logica, the only complete translation of this work in any language, is a milestone in the study of medieval logic. More than simply a translation, Maloney's project is a critical, comprehensive study of Lambert's logic situated in the context of his contemporaries and predecessors. As such, it offers a wealth of annotation and commentary. The lengthy introduction and extensive notes to the text explain the origin, theoretical context, and intricacies of the text and its doctrines. Maloney also addresses the disputed issues of authorship, date, and place of publication of the Summa Lamberti and makes available to the English-only audience the French, German, and Italian secondary sources--all translated--that are needed to enter the discussion. "Thomas S. Maloney fully commands the primary and secondary sources necessary to elucidate Lambert's Logica. An expert on Roger Bacon's philosophy, he demonstrates a rare proficiency in medieval Latin and scholastic logic. His references to sources from the ancient (Aristotle and Boethius) and medieval worlds are apposite, perspicuous, and useful. The volume's presentation with an appropriate introduction and commentary in the endnotes will no doubt establish it as an indispensable resource for scholars in the twenty-first century." --Alan Perreiah, University of Kentucky. (shrink)

Computer Science and Artificial Intelligence will be the twenty-first century logic development of the main power source, and in the twenty-first century will largely determine the face of logic. At least in the early twenty-first century, logic will focus on the following topics: how to deal with common sense reasoning in the logic of Eph coordination, non-monotonic and fault tolerance factors? how to make robots with human intelligence and creativity, as established from the empirical evidence used to guide future action (...) in the induction of judgments can be wrong? how the knowledge representation and knowledge reasoning, in particular, is based on the existing knowledge base and between the cognitive subject knowledge and the reasoning? how contextual factors, combined with a variety of natural language understanding and reasoning, so that intelligent robots to employing natural language for successful communication with people? . . . . And so on. (shrink)

Heeding the call for a deeper understanding of how cross-sector social partnerships can be managed across different contexts, this article integrates ideas from institutional theory with current debate on cross-boundary collaboration. Adopting the point of view of business actors interested in forming a CSSP to address complex social problems, we suggest that “appropriateness” needs shape business approaches toward partnering for social change, exerting an impact on the benefits that can be gained from it. A theoretical framework is proposed that identifies (...) and frames four CSSP styles, as resulting from combinations of dominant institutional orientations in a field and its general level of coherence. We show how, depending on prevailing institutional logics, intervention models underlying the CSSP have to emphasize either the business soundness of the initiative or its social value, together with a consistent leadership style. Moreover, while directive approaches based on concentrated governance structures aimed at setting the rules of the game are shown to prevail in fields characterized by low level of institutional coherence, participative models emerge in more established fields, with CSSP’s promoter playing an integrative role through distributed governance structures. The article concludes with a summary and implications of an institutional-based view of CSSPs. (shrink)

We present a meta-analytic review on the processing of negations in conditional reasoning about affirmation problems (Modus Ponens: "MP", Affirmation of the Consequent "AC") and denial problems (Denial of the Antecedent "DA", and Modus Tollens "MT"). Findings correct previous generalisations about the phenomena. First, the effects of negation in the part of the conditional about which an inference is made, are not constrained to denial problems. These inferential-negation effects are also observed on AC. Second, there generally are reliable effects of (...) a negation in the clause referred to by the categorical premise, and these referred-negation effects are constrained to the logically fallacious AC and DA inferences. All findings are presented and discussed in relation to contemporary mental model (MM) and mental logic (ML) theories. It is argued that a double-negation elimination hypothesis provides a sufficient explanation of inferential-negation effects within both MM theory and ML theory, if the latter is extended by a validating search for counter examples. Both MM and ML theories adhere to a processing scheme that allows them to incorporate an account of referred-negation effects based on the thesis that counter-example frequency is modulated by the scope of a contrast class delineated by a false affirmative. We conclude that MM and ML theories provide adequate processing schemes to accommodate for the explanatory hypotheses, at least in principle. In practice, both approaches remain equivocal as regards the connectivity and interactivity with long-term memory knowledge invoked in generating, manipulating, and testing the mental representations of negative state of affairs. (shrink)

Heeding the call for a deeper understanding of how cross-sector social partnerships can be managed across different contexts, this article integrates ideas from institutional theory with current debate on cross-boundary collaboration. Adopting the point of view of business actors interested in forming a CSSP to address complex social problems, we suggest that "appropriateness" needs shape business approaches toward partnering for social change, exerting an impact on the benefits that can be gained from it. A theoretical framework is proposed that identifies (...) and frames four CSSP styles, as resulting from combinations of dominant institutional orientations in a field and its general level of coherence. We show how, depending on prevailing institutional logics, intervention models underlying the CSSP have to emphasize either the business soundness of the initiative or its social value, together with a consistent leadership style. Moreover, while directive approaches based on concentrated governance structures aimed at setting the rules of the game are shown to prevail in fields characterized by low level of institutional coherence, participative models emerge in more established fields, with CSSP's promoter playing an integrative role through distributed governance structures. The article concludes with a summary and implications of an institutional-based view of CSSPs. (shrink)

John Perry’s new book makes an important philosophical contribution at two quite distinct levels. The first and most obvious is its systematic critical discussion of three of the most notorious recent arguments in favor of some form of Property Dualism: Chalmers’ Zombie Argument, Jackson’s Knowledge Argument, and Kripke’s Modal Argument. Perry—no stranger himself to matters modal, indexical, and demonstrative—brings an especial authority to this task. Unlike many of us, he eats, drinks, and breathes the same modal vocabulary deployed by all (...) three of these authors, and, unlike some of us, he accepts most of what passes for conventional wisdom in current modal theory. Moreover, while “antecedently inclined” toward some form of physicalism in the philosophy of mind, he has no particular ideological axe to grind here. Perry never turns to extol the positive virtues of this, that, or the other materialist theory of mind above its various dualist adversaries. He just wishes to determine whether any of the three celebrated arguments cited above provides the antecedent materialist with a motive for reconsidering that general position. Other readers will be eager, as was I, to see how a judge with Perry’s solid but prototypically “analytic” credentials comes down on this issue. (shrink)

In this paper we examine the theory of historical explanation presented by Arthur Danto in his book, Analytical Philosophy of History (1965).Our thesis is that Danto is mistaken in his assertion that a phenomenon can be covered by a general law only insofar as we produce a description of it which contains no uneliminable particular designations of it. It is possible to cover such particular statements with general laws provided one can bridge the logical gap between the two types (...) of sentence with other statements which need not be redescriptions of the phenomenon but can be independently established premises for a deductive argument.We further show that some of the analogies which Danto attempts to make between deduction and narrative are mistaken because of errors in Danto's understanding of logical theory, specifically, Danto's notion that no predicate may appear in the conclusion of a deductive argument which is not antecedently contained in the premises and his claim that the same variable must be replaced by the same constants throughout an argument. (shrink)

In this work Ockham proposes a theory of simple predication, which he uses in explicating the truth conditions of progressively more complicated kinds of propositions. His discussion includes what he takes to be the correct semantic treatment of quantified propositions, past tense and future tense propositions, and modal propositions, all of which are receiving much attention from contemporary philosophers. He also illustrates the use of exponential analysis to deal with propositions that prove troublesome in both semantic theory and other (...) disciplines, such as metaphysics, physics, and theology. This type of analysis plays an essential role in his substantive philosophical and theological works, and in many cases then can hardly be understood without a prior acquaintance with this section of the Summa. An introduction by Alfred J. Freddoso clarifies and summarizes Ockham's theory, discusses certain philosophical problems which it engenders, and proposes new interpretations for parts of it. The essay will be helpful both to those interested in Ockham as a historical figure and to those interested in his substantive systematic contributions to logical theory. (shrink)

The dispute between two of Princeton Theological Seminary's leading Barth scholars concerning theological ontology invites engagement from the contemporary Thomistic tradition. On the one hand, McCormack argues that, in a fully Barthian theological ontology, divine triunity is constituted by the pretemporal election of Jesus Christ. On the other hand, Hunsinger contends that this election is expressive of an antecedent trinity. In the light of scholastic disputes between Dominican and Franciscan theologians, McCormack's proposal is seen to resemble aspects of the (...) Bonaventurean account of triune relationality, particularly the account of procession as constitutive of personal distinction and the affirmation of a primordial ‘primity’ adhering to the Father's innascibility. Whilst McCormack seeks to avoid an undetermined originary plenitude, his treatment of the divine attributes as logically consequent to election risks attributing to pretemporality a status akin to originary primity. Affirming, with Hunsinger, an eternal trinity antecedent to election, the Thomistic tradition nonetheless contains the resources necessary to prevent this antecedence becoming a dissociative antecedence. As such, Thomism preserves divine aseity whilst equally safeguarding against the disconnection of logos asarkos from logos incarnandus that McCormack regards as an unwarranted metaphysical speculation that bypasses the particularity of revelation in Jesus Christ. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 36.2 (2003) 168-172 [Access article in PDF] Logic and the Art of Memory: The Quest for a Universal Language. Paolo Rossi. Trans. Stephen Clucas. Chicago: University of Chicago Press, 2000. Pp. xxviii + 333. $32.00 cloth. Of the traditional five canons of rhetoric—inventio, dispositio, elocutio, memoria, and actio—the most circuitous and fascinating history belongs to memoria. From its propulsion of Homeric lore to its grounding of (...) rhetorical invention to its exile under print culture to its recent revival in public memory studies, the promiscuous and perplexing history of memory in the West may be one of the least appreciated, and perhaps least understood, elements of rhetorical and intellectual history. The publication in 1966 of Frances Yates's highly praised The Art of Memory drew the attention of contemporary scholars to the importance of mnemotechnics to the culture of late medieval and early modern Europe. 1 Yates persuasively argued that the art of memory is an integral element of European intellectual history, one that can enrich our understanding of everything from Dominican theology to Shakespearian theater. However, six years earlier, in 1960, the Italian intellectual historian Paolo Rossi published in Italian an important precursor to Yates's work entitled Clavis Universalis: Arti Della Memoria e Logica Combinatoria da Lullo a Leibniz. The book traces the encyclopaedic and mnemotechnical traditions from Aristotle through Cicero and Raymond Lull and into the early-modern period, arguing that the art of memory provides an important antecedent to the advent of method in seventeenth-century philosophy, especially in the works of Bacon, Descartes, and Leibniz. Yates, in her preface to The Art of Memory, acknowledges her debt to Rossi's work, and now this work has been made available in English translation. Stephen Clucas's translation, under the title Logic and the Art of Memory, will no doubt stimulate and supplement research into the mnemotechnical tradition in the English-speaking world, and perhaps lead us to reconsider the relationship between philosophy and rhetoric.Rossi argues that the neglect of the mnemotechnical tradition in its Ciceronian and Lullian strands has distorted our understanding of the "new" science and philosophy of the seventeenth-century, which is often interpreted as constituting, in a Kuhnian sense, a drastic paradigm shift from a [End Page 168] Renaissance worldview that still retained occult elements. Rossi places the work of Bacon, Descartes, and Leibniz within the historical strand of the logico-encyclopaedic and mnemotechnical traditions, suggesting that these figures culminate late medieval and early modern intellectual and cultural ambitions as much as they give rise to new ones. Rossi makes his argument by providing a history of mnemotechnics from Aristotle into the fifteenth century in chapter one; by examining the fascination with encyclopaedism, combinatoria, and memory in the sixteenth century in chapters two and three; by investigating the role of artificial memory in the works of key intellectual figures in the late sixteenth and seventeenth centuries in chapters four through six; and by tracing the impulse toward universal knowledge and its connection to mnemotechnics among seventeenth-century Cartesians, Baconians, and in the work of Leibniz, in chapters seven and eight.Chapter one, after showing the pervasiveness of Renaissance mnemotechnical literature, surveys its classical and medieval antecedents in philosophy and rhetoric. Rossi argues that Aristotle's De memoria et reminiscentia, Cicero's De oratore, Quintilian's De institutione oratoria, the Rhetorica ad Herennium, and the works of Albertus Magnus and Thomas Aquinas were each important to the mnemotechnical tradition into the seventeenth century. Fourteenth- and fifteenth-century treatises on the ars memorativa and the ars predicandi, drawing on these classical and medieval theories, emphasize the importance of memory places (loci), images (imagines), and order or arrangement (dispositio) in mnemotechnics. Additionally, they intimately link the memory to the imagination, stressing the importance of exciting and stimulating the imagination in memorization. The Italian Pietro da Ravenna, for example, attributed the might of his memory to, in his own words, turning "the images of the most beautiful virgins into memory places" (22). Such imaginative mnemonic techniques were considered to... (shrink)

We present a meta-analytic review on the processing of negations in conditional reasoning about affirmation problems (Modus Ponens: “MP”, Affirmation of the Consequent “AC”) and denial problems (Denial of the Antecedent “DA”, and Modus Tollens “MT”). Findings correct previous generalisations about the phenomena. First, the effects of negation in the part of the conditional about which an inference is made, are not constrained to denial problems. These inferential-negation effects are also observed on AC. Second, there generally are reliable effects of (...) a negation in the clause referred to by the categorical premise, and these referred-negation effects are constrained to the logically fallacious AC and DA inferences. All findings are presented and discussed in relation to contemporary mental model (MM) and mental logic (ML) theories. It is argued that a double-negation elimination hypothesis provides a sufficient explanation of inferential-negation effects within both MM theory and ML theory, if the latter is extended by a validating search for counter examples. Both MM and ML theories adhere to a processing scheme that allows them to incorporate an account of referred-negation effects based on the thesis that counter-example frequency is modulated by the scope of a contrast class delineated by a false affirmative. We conclude that MM and ML theories provide adequate processing schemes to accommodate for the explanatory hypotheses, at least in principle. In practice, both approaches remain equivocal as regards the connectivity and interactivity with long-term memory knowledge invoked in generating, manipulating, and testing the mental representations of negative state of affairs. (shrink)

Bhabha, Georges Didi-Huberman, David Morgan and Lee Siegel, as well as a series of focused contributions by Yve-Alain Bois, Wendy Doniger, Kenneth Frampton, Martin E. Marty, John Hallmark Neff, Annemarie Schimmel, and Helen Tworkov consider how rapture resonate's both in a cultural context and within the experience of a single human being.

This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and (...) his understanding of modern logical theory. In the process Corcoran and Scanlan present new, previously unpublished results. Corcoran regards this review as an important contribution to contemporary study of PRIOR ANALYTICS: both the book and the review deserve to be better known. (shrink)

In John Dewey’s logical theory, qualities or qualitative relations account for the capacity to distinguish and associate the objects of reflective thought; they are antecedent to reflective analysis and necessary for coherent processes of inquiry. In Dewey’s writings that are specifically “metaphysical” in orientation, he is much more vague about the function of qualities, but does call them “generic traits of existence.” As such, they appear to be central to his mature ontological theory. In order to more fully understand (...) the metaphysical import of qualitative relations, I first examine the details of Dewey’s logical theory, and then generalize those details in accordance with Dewey’s larger theory of nature. The end result is a novel interpretation of Dewey’s metaphysics. (shrink)

Marx said that a science attains perfection when it is successful in employing mathematics.

Most foundationalists allow that relations of coherence among antecedently justified beliefs can enhance their overall level of justification or warrant. In light of this, some coherentists ask the following question: if coherence can elevate the epistemic status of a set of beliefs, what prevents it from generating warrant entirely on its own? Why do we need the foundationalist's basic beliefs? I address that question here, drawing lessons from an instructive series of attempts to reconstruct within the probability calculus the classical (...) problem of independent witnesses who corroborate each other's testimony. Starred section headings indicate sections omitted here, but available on the author's USC website. (shrink)

Val Plumwood argued for a reworking of our concept of wilderness in ways that would both recognize indigenous influence and expand the official "fake" history to include perspective from the Others'side. Borrowing from Plumwood's logic of colonization, I explore how the official history of wilderness in the United States of America is similar to Tasmania's "fake" history. I offer a philosophical analysis of Chief Justice John Marshall's opinion in the case of Johnson v. M'Intosh (1823) where the "wilderness" finds its (...) first legal articulation. I argue that although multiple erasures of the Other as found in Marshall's concept of wilderness are serious problems, they do not support wilderness scepticism. Rather, in order to reshape the concept of wilderness in a new non-colonizing way, its antecedents must be clearly understood. Only then can we escape the precedents of control and find an ethical basis to repair the nature/culture split ending the war on the Other. (shrink)

The history of contemporary modal logic dates back to the writings of C. S. Lewis in the early part of this century. Since then, a growing body of literature has attested to professional interest in the area, and in a number of related issues in philosophical logic which have received wide attention. The recent development of powerful formal techniques for modal system building, together with an increasing interest in modal logic as a tool for philosophical analysis, have created a (...) need for an up-to-date text to introduce students to this material. Snyder's book attempts to answer this need. Assuming an understanding of elementary propositional logic, Snyder introduces a reductive technique called cancellation for detecting the theorems of a system of logic. This technique, analogous to the construction of Smullyan trees but more compact, is extended to modal and quantified contexts. Cancellation versions of the systems M and Mn of G. H. von Wright, and S4 and S5 of Lewis are developed. Snyder uses a Hintikka type of semantics, showing how the various formal systems are differentiated at the semantic level by differing conditions which must be imposed on the model systems used as interpretations for them. These model systems, and the conditions imposed upon them, are in turn described by means of a metalanguage which is essentially first-order quantificational logic. The power of this technique stems from the fact that for every object language formula of a system, there is a corresponding formula in the metalanguage which describes the conditions an interpretation must meet in order to satisfy the original formula. The conditions that the interpretations of a given system of logic must meet are reflected in this metalanguage as "antecedent assumptions," and these in turn correspond to cancellation rules for the object language. This correspondence is constructed in such a way that the metalinguistic counterpart of each theorem of the system will be a theorem of first-order logic. Snyder's primary interest is in showing how modal logic can be used, with the help of these techniques, to build a large variety of formal systems and to "tailor" such systems to meet a variety of analytical tasks. Simple modal systems are developed for the articulation of a number of modal concepts, in addition to the classic alethic ones. Examples are taken from temporal, deontic, and epistemic logic to show how specific interpretations of the meanings of the relevant operators lead to the incorporation of appropriate conditions in the formal systems used to articulate them. An entire chapter is devoted to a discussion of the paradoxes of material and strict implication, and to an attempt to articulate the notion of entailment through the development of formal systems which include a dyadic modal operator that is free of these paradoxes. The final chapter discusses such classical issues as proper names, reference, fictional entities, definite descriptions, and existence presuppositions. Appendices deal with such matters as the equivalence of the cancellation systems to more classical axiomatic-deduction systems, and the sketch of a proof of soundness and completeness for all the modal systems presented. While designed as a text, this volume should be of interest to both logicians and those working in metaphysics and language analysis, since the primary concern of the author is to develop techniques that will facilitate the usefulness of modal logic as a tool for philosophical analysis. The instructor's manual contains many suggestions derived from the author's experience in teaching this non-standard treatment of the subject.--K. T. (shrink)

Most foundationalists allow that relations of coherence among antecedently justified beliefs can enhance their overall level of justification or warrant. In light of this, some coherentists ask the following question: if coherence can elevate the epistemic status of a set of beliefs, what prevents it from generating warrant entirely on its own? Why do we need the foundationalist’s basic beliefs? I address that question here, drawing lessons from an instructive series of attempts to reconstruct within the probability calculus the classical (...) problem of independent witnesses who corroborate each other’s testimony. Starred section headings indicate sections omitted here, but available on the author’s USC website. (shrink)

The present volume stems from a book-proposal made about two years ago to College Publications, London. The main idea was that of illustrating the interplay between the contemporary work in logic and the mainstream mathematics. The division of the volume in two sections - topics in 'logic' vs topics in 'computing' - is more or less conventional. Some contributions are focussed on historical and technical details meant to put in perspective the impact of the work of some outstanding mathematicians (...) and philosophers on the contemporary research in logic and computing science. Some other papers, also with a historical flavour, were supposed to evidentiate punctual methods of research and specific concepts or topics, as, e.g., decidability, computability, randomness, and computational or descriptive complexity. In general, the papers were intended as specific surveys of results. Other volumes - to be issued subsequently in the same series - will hopefully delineate aspects of the contemporary logic landscape that have not been illustrated here. The intended audience of the book includes graduate students in mathematical logic, foundations of matematics, and computing science, as well as philosophers, mathematicians, and, possibly, other scientists interested in the recent research on logic and computing. (shrink)

This collection is the final volume of a four book survey of the state of phenomenology fifty years after the death of Edmund Husserl. Its publication represents a landmark in the comprehensive treatment of contemporary phenomenology in all its vastness and richness. The diversity of the issues raised here is dazzling, but the main themes of Husserl's thought are all either explicitly treated, or else they underlie the ingenious approaches found here. Time, historicity, intentionality, eidos, meaning, possibility/reality, and teleology (...) are the main concerns of this collection devoted to studies in aesthetics, metaphysics and literary interpretation, written by such authors as, among others, R. Cobb-Stevens, C. Moreno Marquez, J. Swiecimski, Sitansu Ray and M. Kronegger. These original studies of phenomenological aesthetics and literary theory by scholars from all parts of the world were gathered by the World Institute for Advanced Phenomenological Research and Learn ing during the year 1988/89 during its assessment of the phenomeno logical movement, fifty years after Husserl's death. IX A -T. Tymieniecka (ed.), Analecta Husserliana, Vol. XXXVII, ix. (shrink)

Free logic, an alternative to traditional logic, has been seen as a useful avenue of approach to a number of philosophical issues of contemporary interest. In this collection, Karel Lambert, one of the pioneers in, and the most prominent exponent of, free logic, brings together a variety of published essays bearing on the application of free logic to philosophical topics ranging from set theory and logic to metaphysics and the philosophy of religion. The work of such distinguished philosophers as (...) Bas van Fraassen, Dana Scott, Tyler Burge, and Jaakko Hintikka is represented. Lambert provides an introductory essay placing free logic in the logical tradition beginning with Aristotle, developing it as the natural culmination of a trend begun in the Port Royal logic of the 1600s, and continuing through current predicate logic--the trend to rid logic of existence assumptions. His Introduction also provides a useful systematic overview of free logic, including both a standard syntax and some semantical options. (shrink)

From Parmenides to the present, philosophers have been attracted by characterizations of being as being uttered or utterable, formulated or formulable. But what for Parmenides was presumably a valid co-entailment between antecedently understood concepts reappears in contemporary thought as a proffered explication of what it is to be. Without presuming to discredit Parmenidean views in general, my purpose here is to examine certain members of a modern family of theories of existence that fall into place around Quine’s. Depending on (...) the methodology of explication espoused, the theories in this family are either semantic commentaries on ideal languages, or they are themselves interpreted formalized languages. The former may be called, after Quine, theories of ontological commitment. The theories of the latter sort I wish to consider are called, after Karel Lambert, free logics, i.e., logic systems the singular terms of which are free of existential import. My conclusion about theories of both kinds is that, while unexceptionable on their own terms, from a broader point of view they beg the question of what it is to be. In arguing that these theories thus fail to clarify the concept of existence, I believe I am not so much propounding a new insight as articulating an objection many thinkers have felt in the face of views akin to Quine’s. (shrink)

The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for (...) beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth. (shrink)

[This book offers] compilation of examples from TV, newspapers, magazines, advertisements, and our nation's political dialogue.

Since its inception in the late 1970s, behavioural economics has gone from being an outlier to a widely recognized yet still contested subset of the economic sciences. One of the basic arguments in behavioural economics is that a more realistic psychology ought to inform economic theories. While the history of behavioural economics is often portrayed and articulated as spanning no more than a few decades, the practice of utilizing ideas from psychology to rethink theories of economics is over a century (...) old. In the first three decades of the 20th century, several mostly American economists made efforts to refine fundamental economic assumptions by introducing ideas from psychology into economic thinking. In an echo of contemporary discussions in behavioural economics, the ambition of these psychology-keen economists was to strengthen the empirical accuracy of the fundamental assumptions of economic theory. In this article, we trace, examine, and discuss arguments for and against complementing economic theorizing with insights from psychology, as found in economic literature published between 1900 and 1930. The historical analysis sheds light on issues and challenges associated with the endeavour to improve one discipline’s theories by introducing ideas from another, and we argue that these are issues and challenges that behavioural economists continue to face today. (shrink)

After the First Conference, the situation with regard to the relation between natural scientists and philosophers improved considerably in the sense that, as we can see, philosophers, by their work on questions of methodology, are helping natural scientists more and more, while natural scientists are giving increasing attention to the results of the work of philosophers, and are becoming interested in the philosophical conclusions following from their research and in general problems of philosophical significance.

Originally written in 1956 and revised in 1972, this book explores the work of many of the most important thinkers of the 20th century, including Ayer, ...

The “official” history of connexive logic was written in 2012 by Storrs McCall who argued that connexive logic was founded by ancient logicians like Aristotle, Chrysippus, and Boethius; that it was further developed by medieval logicians like Abelard, Kilwardby, and Paul of Venice; and that it was rediscovered in the 19th and twentieth century by Lewis Carroll, Hugh MacColl, Frank P. Ramsey, and Everett J. Nelson. From 1960 onwards, connexive logic was finally transformed into non-classical calculi which partly concur with (...) systems of relevance logic and paraconsistent logic. In this paper it will be argued that McCall’s historical analysis is fundamentally mistaken since it doesn’t take into account two versions of connexivism. While “humble” connexivism maintains that connexive properties only apply to “normal” antecedents, “hardcore” connexivism insists that they also hold for “abnormal” propositions. It is shown that the overwhelming majority of the forerunners of connexive logic were only “humble” connexivists. Their ideas concerning connexive implication don’t give rise, however, to anything like a non-classical logic. (shrink)

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are and the (...) epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics’ unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true—no one doubts that 2 + 3 = 5—but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about. (shrink)